COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	block.fil[s84,jmc]	Files mentioning blocks
C00005 ENDMK
C⊗;
block.fil[s84,jmc]	Files mentioning blocks

BLOCKS.AX[W78,JMC] 17-Jan-78	Axiomatization of world of 3 blocks
BLOCK2.AX[W78,JMC] 24-Jan-78	Axioms for 4 blocks
BLOCKS.AX[W76,JMC] 13-Feb-76	Old blocks axioms
BLOCKS.NOT[W78,JMC] 27-Jan-78	Notes on blocks axiomatizations
PUZZLE[W78,JMC] 29-Jan-78	Solution to a blocks construction puzzle
BLOCKS.226[F75,JMC] 07-Jan-76	PROBLEMS WITH THE BLOCKS WORLD
				doesn't say anything about blocks
blocks.not[w78,jmc]
blocks[e80,jmc]
plan.226[e78,jmc]/2p		Blocks is key initial topic
BLOCKS.226[F75,JMC] 07-Jan-76	PROBLEMS WITH THE BLOCKS WORLD
BLOCKS.NOT[W78,JMC] 27-Jan-78	Notes on blocks axiomatizations
blocks.[e80,jmc]	Base cs226 on blocks world
BLOCKS.DMP[E80,JMC]	fol core image for blocks proof
moving[e82,jmc]		Common sense axioms for moving objects -blocks
blocks[w83,jmc]		Blocks axioms using circumscription
reify[w83,jmc]		Reification - especially in the blocks world
tower.226[w83,jmc]	blocks and towers and traffic lights
block.ax[f83,jmc]	Axioms for building structures from blocks
block1.pro[f83,jmc]	Prolog blocks program
block.not[f83,jmc]	Notes on programs for building towers
blocks[f83,jmc]		Improved blocks axioms
blocks.lsp[f83,jmc]	LISP block stacking program
block2.lsp[f83,jmc]	Variant of block stacker using function calls
block2.rpg[f83,jmc]	RPG's modernization of block2.lsp
block3.lsp[f83,jmc]	Block stacker with fn calls and opportunism
block4.lsp[f83,jmc]	Block stacker that looks for safe moves first